Skip to content

chore: ignore .grok local state directory - #43

Merged
franccesco merged 1 commit into
mainfrom
chore/ignore-grok
Jul 24, 2026
Merged

chore: ignore .grok local state directory#43
franccesco merged 1 commit into
mainfrom
chore/ignore-grok

Conversation

@franccesco

Copy link
Copy Markdown
Owner

Summary

Adds .grok/ to .gitignore. This directory holds local Grok CLI state and must not go into version control.

Test plan

  • git status no longer shows .grok/ as untracked

🤖 Generated with Claude Code

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
@franccesco
franccesco merged commit 1dd4e73 into main Jul 24, 2026
7 checks passed
@franccesco
franccesco deleted the chore/ignore-grok branch July 24, 2026 23:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant